Integrating Organizational Semiotic Approach with the Temporal Aspects of Petri Nets for Business Process Modeling
نویسندگان
چکیده
p. ix Conference Committee p. xi Invited Papers Obtaining Precision When Integrating Information p. 1 From Object-Oriented Programming to Ontology-Driven Modeling p. 15 Agents and Electronic Commerce, Hype and Reality p. 22 Must a Computer Have a User? p. 36 Resource Allocation in Large Scale Systems, a Decoupling Approach p. 41 Databases and Information Systems Integration Iodbcon: An Integrated Object-Oriented Database System for Integrating Information About Architecture Design and Construction Processes p. 51
منابع مشابه
Integrating Process and Organization Models of Collaborations through Object Petri Nets
The management of virtual enterprises needs extended and integrated approaches of business modeling. While most formal approaches to business process modeling consider only the control-flow perspective, it is essential in an inter-organizational context to link tasks with the enterprise responsible for their execution. This paper presents the concept of the transforming BPMN-conform XML represe...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملA Rule-Based Language for Integrating Business Process and Business Rules
Business process modeling has become a popular method for improving organizational efficiency and quality. Automatic validation of process models is one of the most valuable features of modeling tools, in face of the increasing complexity of enterprise business processes and the richness of modeling languages. This paper proposes a formal language, Event-Condition-Action-Event (ECAE), for integ...
متن کاملBusiness Process Modeling using Petri Nets with Clocks
Petri Nets are tools for the analysis and design of concurrent systems. There is a formal theory, which supports Petri Nets. We propose Petri Nets with Clocks which has a high expressive power in the concurrent and asynchronous process modeling and gives the possibility to model real time systems. The Petri Nets with Clocks are useful to model systems with temporal requirements via specificatio...
متن کاملInter-organizational Business Process Management with XML Nets
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are becoming more and more important. Efficient inter-organizational business processes in the field of e-commerce require the integration of electronic document interchange and inter-organizational process management. We p...
متن کامل